<?php
if(isset($_SESSION["devmake_info"]) && $_SESSION["devmake_info"] != ""){
	echo '<div class="info">'.$_SESSION["devmake_info"].'</div>';
}


if(isset($_SESSION["system_info"]) && $_SESSION["system_info"] != ""){
	$msg = $_SESSION["system_info"];
	$_SESSION["system_info"] = null;
		
	echo $msg;
}

?>